Hoxa5<tm1.1Mrc> Reporter|Null/knockout http://identifiers.org/mgd/MGI:3719822 targeted mutation 1.1, Mario R Capecchi Hoxa5<loxP> MGI:3719822